(1
 (
  ("(var3 stable)" 0 42)
  ("(var3 up)" 42 87)
  ("(var3 stable)" 87 170)
  ("(var3 up)" 170 174)
  ("(var3 stable)" 174 176)
  ("(var3 down)" 176 186)
  ("(var3 up)" 186 189)
  ("(var3 stable)" 189 334)
  ("(var4 stable)" 0 47)
  ("(var4 up)" 47 79)
  ("(var4 stable)" 79 334)
  ("(var1 stable)" 0 51)
  ("(var1 up)" 51 76)
  ("(var1 stable)" 76 334)
  ("(var2 stable)" 0 64)
  ("(var2 up)" 64 68)
  ("(var2 down)" 68 71)
  ("(var2 up)" 71 232)
  ("(var2 stable)" 232 334)
 )
)
(2
 (
  ("(var3 stable)" 0 67)
  ("(var3 up)" 67 107)
  ("(var3 stable)" 107 178)
  ("(var3 up)" 178 185)
  ("(var3 down)" 185 196)
  ("(var3 up)" 196 200)
  ("(var3 stable)" 200 329)
  ("(var4 stable)" 0 70)
  ("(var4 up)" 70 96)
  ("(var4 stable)" 96 98)
  ("(var4 up)" 98 100)
  ("(var4 stable)" 100 329)
  ("(var1 down)" 0 2)
  ("(var1 stable)" 2 75)
  ("(var1 up)" 75 101)
  ("(var1 stable)" 101 329)
  ("(var2 stable)" 0 86)
  ("(var2 up)" 86 88)
  ("(var2 down)" 88 93)
  ("(var2 stable)" 93 131)
  ("(var2 up)" 131 226)
  ("(var2 stable)" 226 329)
 )
)
(3
 (
  ("(var3 stable)" 0 39)
  ("(var3 up)" 39 41)
  ("(var3 down)" 41 43)
  ("(var3 up)" 43 71)
  ("(var3 down)" 71 73)
  ("(var3 up)" 73 76)
  ("(var3 stable)" 76 153)
  ("(var3 up)" 153 159)
  ("(var3 down)" 159 168)
  ("(var3 up)" 168 173)
  ("(var3 stable)" 173 313)
  ("(var4 stable)" 0 41)
  ("(var4 up)" 41 50)
  ("(var4 stable)" 50 52)
  ("(var4 up)" 52 72)
  ("(var4 stable)" 72 313)
  ("(var1 stable)" 0 42)
  ("(var1 up)" 42 66)
  ("(var1 stable)" 66 68)
  ("(var1 up)" 68 70)
  ("(var1 stable)" 70 313)
  ("(var2 stable)" 0 56)
  ("(var2 up)" 56 58)
  ("(var2 down)" 58 63)
  ("(var2 up)" 63 155)
  ("(var2 down)" 155 157)
  ("(var2 up)" 157 191)
  ("(var2 stable)" 191 313)
 )
)
(4
 (
  ("(var3 stable)" 0 87)
  ("(var3 up)" 87 116)
  ("(var3 stable)" 116 193)
  ("(var3 up)" 193 198)
  ("(var3 stable)" 198 200)
  ("(var3 down)" 200 209)
  ("(var3 up)" 209 214)
  ("(var3 stable)" 214 350)
  ("(var4 stable)" 0 82)
  ("(var4 up)" 82 119)
  ("(var4 stable)" 119 350)
  ("(var1 stable)" 0 85)
  ("(var1 down)" 85 87)
  ("(var1 up)" 87 89)
  ("(var1 stable)" 89 91)
  ("(var1 up)" 91 94)
  ("(var1 stable)" 94 96)
  ("(var1 up)" 96 113)
  ("(var1 stable)" 113 350)
  ("(var2 stable)" 0 98)
  ("(var2 up)" 98 100)
  ("(var2 down)" 100 105)
  ("(var2 stable)" 105 148)
  ("(var2 up)" 148 204)
  ("(var2 down)" 204 206)
  ("(var2 up)" 206 244)
  ("(var2 stable)" 244 348)
  ("(var2 down)" 348 350)
 )
)
(5
 (
  ("(var3 down)" 0 2)
  ("(var3 stable)" 2 76)
  ("(var3 up)" 76 108)
  ("(var3 stable)" 108 178)
  ("(var3 up)" 178 183)
  ("(var3 down)" 183 194)
  ("(var3 up)" 194 196)
  ("(var3 stable)" 196 326)
  ("(var4 stable)" 0 70)
  ("(var4 up)" 70 72)
  ("(var4 down)" 72 74)
  ("(var4 up)" 74 100)
  ("(var4 stable)" 100 326)
  ("(var1 stable)" 0 74)
  ("(var1 up)" 74 100)
  ("(var1 stable)" 100 326)
  ("(var2 stable)" 0 88)
  ("(var2 up)" 88 92)
  ("(var2 down)" 92 94)
  ("(var2 up)" 94 209)
  ("(var2 down)" 209 211)
  ("(var2 stable)" 211 326)
 )
)
(6
 (
  ("(var3 stable)" 0 59)
  ("(var3 up)" 59 98)
  ("(var3 stable)" 98 178)
  ("(var3 up)" 178 184)
  ("(var3 down)" 184 194)
  ("(var3 up)" 194 200)
  ("(var3 stable)" 200 348)
  ("(var4 stable)" 0 53)
  ("(var4 up)" 53 93)
  ("(var4 stable)" 93 348)
  ("(var1 stable)" 0 56)
  ("(var1 up)" 56 89)
  ("(var1 stable)" 89 348)
  ("(var2 stable)" 0 74)
  ("(var2 up)" 74 78)
  ("(var2 down)" 78 82)
  ("(var2 up)" 82 179)
  ("(var2 stable)" 179 181)
  ("(var2 up)" 181 186)
  ("(var2 down)" 186 188)
  ("(var2 stable)" 188 190)
  ("(var2 up)" 190 227)
  ("(var2 stable)" 227 232)
  ("(var2 up)" 232 235)
  ("(var2 stable)" 235 348)
 )
)
(7
 (
  ("(var3 stable)" 0 65)
  ("(var3 down)" 65 67)
  ("(var3 up)" 67 95)
  ("(var3 stable)" 95 179)
  ("(var3 up)" 179 182)
  ("(var3 down)" 182 192)
  ("(var3 up)" 192 195)
  ("(var3 stable)" 195 335)
  ("(var4 stable)" 0 66)
  ("(var4 up)" 66 97)
  ("(var4 stable)" 97 335)
  ("(var1 stable)" 0 62)
  ("(var1 up)" 62 99)
  ("(var1 stable)" 99 335)
  ("(var2 stable)" 0 79)
  ("(var2 up)" 79 81)
  ("(var2 down)" 81 86)
  ("(var2 stable)" 86 126)
  ("(var2 up)" 126 219)
  ("(var2 stable)" 219 335)
 )
)
(8
 (
  ("(var3 stable)" 0 46)
  ("(var3 up)" 46 81)
  ("(var3 stable)" 81 159)
  ("(var3 up)" 159 163)
  ("(var3 down)" 163 174)
  ("(var3 up)" 174 178)
  ("(var3 stable)" 178 315)
  ("(var4 stable)" 0 48)
  ("(var4 up)" 48 78)
  ("(var4 stable)" 78 315)
  ("(var1 stable)" 0 49)
  ("(var1 up)" 49 78)
  ("(var1 stable)" 78 315)
  ("(var2 stable)" 0 63)
  ("(var2 up)" 63 65)
  ("(var2 down)" 65 70)
  ("(var2 up)" 70 117)
  ("(var2 stable)" 117 119)
  ("(var2 up)" 119 195)
  ("(var2 stable)" 195 315)
 )
)
(9
 (
  ("(var3 stable)" 0 42)
  ("(var3 up)" 42 79)
  ("(var3 stable)" 79 171)
  ("(var3 up)" 171 173)
  ("(var3 down)" 173 183)
  ("(var3 up)" 183 190)
  ("(var3 stable)" 190 332)
  ("(var4 stable)" 0 46)
  ("(var4 up)" 46 78)
  ("(var4 stable)" 78 332)
  ("(var1 stable)" 0 50)
  ("(var1 up)" 50 53)
  ("(var1 down)" 53 55)
  ("(var1 up)" 55 81)
  ("(var1 stable)" 81 332)
  ("(var2 stable)" 0 64)
  ("(var2 up)" 64 68)
  ("(var2 down)" 68 73)
  ("(var2 stable)" 73 112)
  ("(var2 up)" 112 184)
  ("(var2 stable)" 184 332)
 )
)
(10
 (
  ("(var3 stable)" 0 51)
  ("(var3 up)" 51 87)
  ("(var3 stable)" 87 172)
  ("(var3 up)" 172 176)
  ("(var3 down)" 176 188)
  ("(var3 up)" 188 191)
  ("(var3 stable)" 191 328)
  ("(var4 stable)" 0 57)
  ("(var4 up)" 57 82)
  ("(var4 stable)" 82 328)
  ("(var1 stable)" 0 56)
  ("(var1 up)" 56 83)
  ("(var1 down)" 83 85)
  ("(var1 up)" 85 87)
  ("(var1 stable)" 87 328)
  ("(var2 stable)" 0 70)
  ("(var2 up)" 70 72)
  ("(var2 down)" 72 77)
  ("(var2 up)" 77 194)
  ("(var2 stable)" 194 197)
  ("(var2 up)" 197 199)
  ("(var2 stable)" 199 328)
 )
)
(11
 (
  ("(var3 stable)" 0 79)
  ("(var3 up)" 79 115)
  ("(var3 stable)" 115 192)
  ("(var3 up)" 192 197)
  ("(var3 down)" 197 207)
  ("(var3 up)" 207 212)
  ("(var3 stable)" 212 346)
  ("(var4 stable)" 0 71)
  ("(var4 up)" 71 111)
  ("(var4 stable)" 111 346)
  ("(var1 stable)" 0 81)
  ("(var1 up)" 81 111)
  ("(var1 stable)" 111 346)
  ("(var2 stable)" 0 96)
  ("(var2 up)" 96 98)
  ("(var2 down)" 98 103)
  ("(var2 up)" 103 243)
  ("(var2 stable)" 243 346)
 )
)
(12
 (
  ("(var3 down)" 0 4)
  ("(var3 stable)" 4 42)
  ("(var3 up)" 42 77)
  ("(var3 stable)" 77 159)
  ("(var3 down)" 159 161)
  ("(var3 up)" 161 167)
  ("(var3 down)" 167 178)
  ("(var3 up)" 178 185)
  ("(var3 stable)" 185 321)
  ("(var4 stable)" 0 31)
  ("(var4 up)" 31 61)
  ("(var4 stable)" 61 63)
  ("(var4 up)" 63 75)
  ("(var4 stable)" 75 321)
  ("(var1 stable)" 0 43)
  ("(var1 up)" 43 63)
  ("(var1 down)" 63 65)
  ("(var1 stable)" 65 67)
  ("(var1 up)" 67 69)
  ("(var1 stable)" 69 321)
  ("(var2 stable)" 0 54)
  ("(var2 up)" 54 56)
  ("(var2 down)" 56 65)
  ("(var2 up)" 65 67)
  ("(var2 down)" 67 69)
  ("(var2 up)" 69 209)
  ("(var2 stable)" 209 321)
 )
)
(13
 (
  ("(var3 stable)" 0 66)
  ("(var3 up)" 66 96)
  ("(var3 stable)" 96 186)
  ("(var3 up)" 186 192)
  ("(var3 down)" 192 203)
  ("(var3 up)" 203 209)
  ("(var3 stable)" 209 347)
  ("(var4 stable)" 0 66)
  ("(var4 up)" 66 97)
  ("(var4 stable)" 97 347)
  ("(var1 stable)" 0 66)
  ("(var1 up)" 66 93)
  ("(var1 stable)" 93 347)
  ("(var2 stable)" 0 81)
  ("(var2 up)" 81 85)
  ("(var2 down)" 85 89)
  ("(var2 up)" 89 224)
  ("(var2 down)" 224 226)
  ("(var2 stable)" 226 347)
 )
)
(14
 (
  ("(var3 stable)" 0 36)
  ("(var3 up)" 36 38)
  ("(var3 stable)" 38 40)
  ("(var3 up)" 40 66)
  ("(var3 stable)" 66 140)
  ("(var3 up)" 140 147)
  ("(var3 down)" 147 156)
  ("(var3 up)" 156 161)
  ("(var3 stable)" 161 292)
  ("(var4 stable)" 0 39)
  ("(var4 up)" 39 66)
  ("(var4 stable)" 66 292)
  ("(var1 stable)" 0 36)
  ("(var1 up)" 36 60)
  ("(var1 stable)" 60 292)
  ("(var2 stable)" 0 50)
  ("(var2 up)" 50 52)
  ("(var2 down)" 52 57)
  ("(var2 up)" 57 169)
  ("(var2 down)" 169 173)
  ("(var2 stable)" 173 292)
 )
)
(15
 (
  ("(var3 stable)" 0 44)
  ("(var3 up)" 44 74)
  ("(var3 stable)" 74 79)
  ("(var3 up)" 79 81)
  ("(var3 stable)" 81 156)
  ("(var3 up)" 156 160)
  ("(var3 down)" 160 172)
  ("(var3 up)" 172 179)
  ("(var3 stable)" 179 315)
  ("(var4 stable)" 0 39)
  ("(var4 up)" 39 71)
  ("(var4 stable)" 71 315)
  ("(var1 stable)" 0 47)
  ("(var1 up)" 47 68)
  ("(var1 stable)" 68 315)
  ("(var2 stable)" 0 57)
  ("(var2 up)" 57 59)
  ("(var2 down)" 59 64)
  ("(var2 stable)" 64 109)
  ("(var2 up)" 109 202)
  ("(var2 stable)" 202 315)
 )
)
(16
 (
  ("(var3 stable)" 0 69)
  ("(var3 up)" 69 106)
  ("(var3 stable)" 106 180)
  ("(var3 up)" 180 188)
  ("(var3 down)" 188 198)
  ("(var3 up)" 198 204)
  ("(var3 stable)" 204 346)
  ("(var4 stable)" 0 62)
  ("(var4 up)" 62 96)
  ("(var4 stable)" 96 346)
  ("(var1 stable)" 0 66)
  ("(var1 up)" 66 94)
  ("(var1 down)" 94 96)
  ("(var1 stable)" 96 346)
  ("(var2 stable)" 0 80)
  ("(var2 up)" 80 82)
  ("(var2 down)" 82 87)
  ("(var2 up)" 87 186)
  ("(var2 down)" 186 188)
  ("(var2 up)" 188 226)
  ("(var2 stable)" 226 346)
 )
)
(17
 (
  ("(var3 stable)" 0 63)
  ("(var3 up)" 63 92)
  ("(var3 stable)" 92 169)
  ("(var3 up)" 169 174)
  ("(var3 down)" 174 184)
  ("(var3 up)" 184 190)
  ("(var3 stable)" 190 316)
  ("(var4 stable)" 0 61)
  ("(var4 up)" 61 91)
  ("(var4 stable)" 91 93)
  ("(var4 up)" 93 96)
  ("(var4 stable)" 96 316)
  ("(var1 down)" 0 2)
  ("(var1 stable)" 2 62)
  ("(var1 up)" 62 96)
  ("(var1 stable)" 96 316)
  ("(var2 stable)" 0 75)
  ("(var2 up)" 75 77)
  ("(var2 down)" 77 82)
  ("(var2 stable)" 82 124)
  ("(var2 up)" 124 211)
  ("(var2 stable)" 211 316)
 )
)
(18
 (
  ("(var3 stable)" 0 83)
  ("(var3 up)" 83 116)
  ("(var3 stable)" 116 191)
  ("(var3 up)" 191 196)
  ("(var3 down)" 196 208)
  ("(var3 up)" 208 211)
  ("(var3 stable)" 211 348)
  ("(var4 stable)" 0 80)
  ("(var4 up)" 80 122)
  ("(var4 stable)" 122 348)
  ("(var1 stable)" 0 80)
  ("(var1 up)" 80 82)
  ("(var1 down)" 82 84)
  ("(var1 up)" 84 106)
  ("(var1 stable)" 106 348)
  ("(var2 stable)" 0 95)
  ("(var2 up)" 95 98)
  ("(var2 down)" 98 102)
  ("(var2 stable)" 102 142)
  ("(var2 up)" 142 236)
  ("(var2 down)" 236 238)
  ("(var2 stable)" 238 348)
 )
)
(19
 (
  ("(var3 stable)" 0 88)
  ("(var3 up)" 88 123)
  ("(var3 stable)" 123 199)
  ("(var3 up)" 199 204)
  ("(var3 stable)" 204 206)
  ("(var3 down)" 206 214)
  ("(var3 up)" 214 221)
  ("(var3 stable)" 221 355)
  ("(var4 stable)" 0 92)
  ("(var4 down)" 92 94)
  ("(var4 up)" 94 120)
  ("(var4 stable)" 120 355)
  ("(var1 stable)" 0 87)
  ("(var1 up)" 87 126)
  ("(var1 stable)" 126 355)
  ("(var2 stable)" 0 105)
  ("(var2 up)" 105 107)
  ("(var2 down)" 107 112)
  ("(var2 up)" 112 202)
  ("(var2 stable)" 202 204)
  ("(var2 up)" 204 238)
  ("(var2 stable)" 238 355)
 )
)
(20
 (
  ("(var3 stable)" 0 66)
  ("(var3 up)" 66 106)
  ("(var3 stable)" 106 192)
  ("(var3 up)" 192 198)
  ("(var3 down)" 198 210)
  ("(var3 up)" 210 216)
  ("(var3 stable)" 216 355)
  ("(var4 stable)" 0 66)
  ("(var4 up)" 66 105)
  ("(var4 stable)" 105 355)
  ("(var1 stable)" 0 69)
  ("(var1 up)" 69 71)
  ("(var1 stable)" 71 73)
  ("(var1 up)" 73 101)
  ("(var1 stable)" 101 355)
  ("(var2 stable)" 0 83)
  ("(var2 up)" 83 87)
  ("(var2 down)" 87 92)
  ("(var2 up)" 92 252)
  ("(var2 stable)" 252 355)
 )
)
(21
 (
  ("(var3 stable)" 0 84)
  ("(var3 up)" 84 117)
  ("(var3 stable)" 117 201)
  ("(var3 up)" 201 203)
  ("(var3 down)" 203 214)
  ("(var3 up)" 214 220)
  ("(var3 stable)" 220 354)
  ("(var4 stable)" 0 85)
  ("(var4 up)" 85 120)
  ("(var4 stable)" 120 354)
  ("(var1 stable)" 0 93)
  ("(var1 up)" 93 115)
  ("(var1 stable)" 115 354)
  ("(var2 stable)" 0 103)
  ("(var2 up)" 103 105)
  ("(var2 down)" 105 110)
  ("(var2 stable)" 110 153)
  ("(var2 up)" 153 214)
  ("(var2 stable)" 214 354)
 )
)
(22
 (
  ("(var3 stable)" 0 84)
  ("(var3 up)" 84 86)
  ("(var3 down)" 86 88)
  ("(var3 up)" 88 114)
  ("(var3 stable)" 114 117)
  ("(var3 up)" 117 119)
  ("(var3 stable)" 119 196)
  ("(var3 up)" 196 200)
  ("(var3 down)" 200 210)
  ("(var3 up)" 210 213)
  ("(var3 stable)" 213 347)
  ("(var4 stable)" 0 82)
  ("(var4 up)" 82 118)
  ("(var4 stable)" 118 347)
  ("(var1 stable)" 0 86)
  ("(var1 up)" 86 112)
  ("(var1 stable)" 112 347)
  ("(var2 stable)" 0 101)
  ("(var2 up)" 101 103)
  ("(var2 down)" 103 108)
  ("(var2 up)" 108 235)
  ("(var2 stable)" 235 347)
 )
)
(23
 (
  ("(var3 stable)" 0 58)
  ("(var3 up)" 58 92)
  ("(var3 down)" 92 95)
  ("(var3 stable)" 95 170)
  ("(var3 up)" 170 177)
  ("(var3 down)" 177 188)
  ("(var3 up)" 188 191)
  ("(var3 stable)" 191 329)
  ("(var4 stable)" 0 61)
  ("(var4 up)" 61 95)
  ("(var4 stable)" 95 329)
  ("(var1 stable)" 0 51)
  ("(var1 up)" 51 85)
  ("(var1 stable)" 85 329)
  ("(var2 stable)" 0 74)
  ("(var2 up)" 74 77)
  ("(var2 down)" 77 81)
  ("(var2 up)" 81 172)
  ("(var2 stable)" 172 174)
  ("(var2 up)" 174 210)
  ("(var2 stable)" 210 329)
 )
)
(24
 (
  ("(var3 stable)" 0 54)
  ("(var3 down)" 54 56)
  ("(var3 up)" 56 89)
  ("(var3 stable)" 89 168)
  ("(var3 up)" 168 175)
  ("(var3 down)" 175 184)
  ("(var3 up)" 184 188)
  ("(var3 stable)" 188 328)
  ("(var4 stable)" 0 55)
  ("(var4 up)" 55 84)
  ("(var4 stable)" 84 86)
  ("(var4 up)" 86 88)
  ("(var4 stable)" 88 328)
  ("(var1 stable)" 0 56)
  ("(var1 up)" 56 88)
  ("(var1 stable)" 88 328)
  ("(var2 stable)" 0 71)
  ("(var2 up)" 71 73)
  ("(var2 down)" 73 78)
  ("(var2 up)" 78 209)
  ("(var2 stable)" 209 326)
  ("(var2 down)" 326 328)
 )
)
(25
 (
  ("(var3 stable)" 0 77)
  ("(var3 up)" 77 113)
  ("(var3 stable)" 113 190)
  ("(var3 up)" 190 196)
  ("(var3 down)" 196 207)
  ("(var3 up)" 207 213)
  ("(var3 stable)" 213 353)
  ("(var4 stable)" 0 75)
  ("(var4 up)" 75 77)
  ("(var4 stable)" 77 79)
  ("(var4 up)" 79 115)
  ("(var4 stable)" 115 353)
  ("(var1 stable)" 0 74)
  ("(var1 up)" 74 106)
  ("(var1 stable)" 106 353)
  ("(var2 stable)" 0 93)
  ("(var2 up)" 93 95)
  ("(var2 down)" 95 100)
  ("(var2 up)" 100 196)
  ("(var2 stable)" 196 198)
  ("(var2 up)" 198 229)
  ("(var2 stable)" 229 353)
 )
)
(26
 (
  ("(var3 stable)" 0 72)
  ("(var3 up)" 72 117)
  ("(var3 down)" 117 119)
  ("(var3 stable)" 119 195)
  ("(var3 up)" 195 200)
  ("(var3 down)" 200 210)
  ("(var3 up)" 210 212)
  ("(var3 stable)" 212 353)
  ("(var4 stable)" 0 84)
  ("(var4 up)" 84 111)
  ("(var4 stable)" 111 353)
  ("(var1 stable)" 0 87)
  ("(var1 up)" 87 109)
  ("(var1 stable)" 109 353)
  ("(var2 stable)" 0 98)
  ("(var2 up)" 98 100)
  ("(var2 down)" 100 105)
  ("(var2 up)" 105 233)
  ("(var2 stable)" 233 353)
 )
)
(27
 (
  ("(var3 stable)" 0 44)
  ("(var3 up)" 44 75)
  ("(var3 stable)" 75 77)
  ("(var3 up)" 77 79)
  ("(var3 stable)" 79 154)
  ("(var3 up)" 154 156)
  ("(var3 down)" 156 167)
  ("(var3 up)" 167 173)
  ("(var3 stable)" 173 292)
  ("(var4 stable)" 0 44)
  ("(var4 up)" 44 79)
  ("(var4 stable)" 79 292)
  ("(var1 stable)" 0 44)
  ("(var1 up)" 44 71)
  ("(var1 stable)" 71 292)
  ("(var2 stable)" 0 60)
  ("(var2 up)" 60 62)
  ("(var2 down)" 62 67)
  ("(var2 stable)" 67 109)
  ("(var2 up)" 109 187)
  ("(var2 stable)" 187 292)
 )
)
(28
 (
  ("(var3 stable)" 0 92)
  ("(var3 down)" 92 94)
  ("(var3 up)" 94 123)
  ("(var3 stable)" 123 125)
  ("(var3 up)" 125 128)
  ("(var3 stable)" 128 130)
  ("(var3 up)" 130 132)
  ("(var3 stable)" 132 215)
  ("(var3 up)" 215 219)
  ("(var3 down)" 219 231)
  ("(var3 up)" 231 236)
  ("(var3 stable)" 236 374)
  ("(var4 stable)" 0 92)
  ("(var4 up)" 92 123)
  ("(var4 stable)" 123 374)
  ("(var1 stable)" 0 96)
  ("(var1 up)" 96 98)
  ("(var1 stable)" 98 101)
  ("(var1 up)" 101 126)
  ("(var1 stable)" 126 374)
  ("(var2 stable)" 0 114)
  ("(var2 up)" 114 116)
  ("(var2 down)" 116 121)
  ("(var2 stable)" 121 166)
  ("(var2 up)" 166 231)
  ("(var2 stable)" 231 374)
 )
)
(29
 (
  ("(var3 stable)" 0 80)
  ("(var3 up)" 80 114)
  ("(var3 stable)" 114 189)
  ("(var3 up)" 189 197)
  ("(var3 down)" 197 208)
  ("(var3 up)" 208 212)
  ("(var3 stable)" 212 348)
  ("(var4 stable)" 0 73)
  ("(var4 up)" 73 106)
  ("(var4 stable)" 106 108)
  ("(var4 up)" 108 110)
  ("(var4 down)" 110 112)
  ("(var4 up)" 112 115)
  ("(var4 stable)" 115 348)
  ("(var1 stable)" 0 82)
  ("(var1 up)" 82 106)
  ("(var1 stable)" 106 348)
  ("(var2 stable)" 0 95)
  ("(var2 up)" 95 97)
  ("(var2 down)" 97 102)
  ("(var2 up)" 102 230)
  ("(var2 stable)" 230 348)
 )
)
(30
 (
  ("(var3 stable)" 0 90)
  ("(var3 up)" 90 125)
  ("(var3 stable)" 125 204)
  ("(var3 up)" 204 209)
  ("(var3 stable)" 209 211)
  ("(var3 down)" 211 224)
  ("(var3 up)" 224 230)
  ("(var3 stable)" 230 369)
  ("(var4 stable)" 0 84)
  ("(var4 up)" 84 123)
  ("(var4 stable)" 123 369)
  ("(var1 stable)" 0 92)
  ("(var1 up)" 92 112)
  ("(var1 stable)" 112 116)
  ("(var1 up)" 116 118)
  ("(var1 stable)" 118 369)
  ("(var2 stable)" 0 105)
  ("(var2 up)" 105 107)
  ("(var2 down)" 107 112)
  ("(var2 up)" 112 240)
  ("(var2 stable)" 240 369)
 )
)
(31
 (
  ("(var3 stable)" 0 62)
  ("(var3 up)" 62 90)
  ("(var3 stable)" 90 169)
  ("(var3 up)" 169 173)
  ("(var3 down)" 173 183)
  ("(var3 up)" 183 189)
  ("(var3 stable)" 189 317)
  ("(var4 stable)" 0 63)
  ("(var4 up)" 63 87)
  ("(var4 stable)" 87 317)
  ("(var1 stable)" 0 59)
  ("(var1 up)" 59 61)
  ("(var1 down)" 61 63)
  ("(var1 up)" 63 88)
  ("(var1 stable)" 88 317)
  ("(var2 stable)" 0 76)
  ("(var2 up)" 76 78)
  ("(var2 down)" 78 83)
  ("(var2 up)" 83 212)
  ("(var2 stable)" 212 317)
 )
)
(32
 (
  ("(var3 stable)" 0 56)
  ("(var3 up)" 56 92)
  ("(var3 stable)" 92 165)
  ("(var3 up)" 165 171)
  ("(var3 stable)" 171 174)
  ("(var3 down)" 174 183)
  ("(var3 up)" 183 188)
  ("(var3 stable)" 188 327)
  ("(var4 stable)" 0 55)
  ("(var4 up)" 55 82)
  ("(var4 stable)" 82 327)
  ("(var1 stable)" 0 55)
  ("(var1 up)" 55 80)
  ("(var1 stable)" 80 327)
  ("(var2 stable)" 0 69)
  ("(var2 up)" 69 71)
  ("(var2 down)" 71 76)
  ("(var2 up)" 76 207)
  ("(var2 stable)" 207 209)
  ("(var2 up)" 209 211)
  ("(var2 stable)" 211 327)
 )
)
(33
 (
  ("(var3 stable)" 0 55)
  ("(var3 up)" 55 85)
  ("(var3 stable)" 85 172)
  ("(var3 up)" 172 176)
  ("(var3 down)" 176 187)
  ("(var3 up)" 187 192)
  ("(var3 stable)" 192 327)
  ("(var4 stable)" 0 56)
  ("(var4 up)" 56 87)
  ("(var4 stable)" 87 89)
  ("(var4 up)" 89 92)
  ("(var4 stable)" 92 327)
  ("(var1 stable)" 0 62)
  ("(var1 up)" 62 88)
  ("(var1 stable)" 88 327)
  ("(var2 stable)" 0 74)
  ("(var2 up)" 74 76)
  ("(var2 down)" 76 81)
  ("(var2 up)" 81 172)
  ("(var2 down)" 172 174)
  ("(var2 up)" 174 208)
  ("(var2 down)" 208 210)
  ("(var2 stable)" 210 327)
 )
)
(34
 (
  ("(var3 stable)" 0 61)
  ("(var3 down)" 61 63)
  ("(var3 up)" 63 87)
  ("(var3 stable)" 87 161)
  ("(var3 up)" 161 165)
  ("(var3 down)" 165 175)
  ("(var3 up)" 175 180)
  ("(var3 stable)" 180 311)
  ("(var4 stable)" 0 61)
  ("(var4 up)" 61 88)
  ("(var4 stable)" 88 311)
  ("(var1 stable)" 0 61)
  ("(var1 down)" 61 63)
  ("(var1 up)" 63 86)
  ("(var1 stable)" 86 311)
  ("(var2 stable)" 0 74)
  ("(var2 up)" 74 78)
  ("(var2 down)" 78 80)
  ("(var2 stable)" 80 110)
  ("(var2 up)" 110 198)
  ("(var2 stable)" 198 311)
 )
)
(35
 (
  ("(var3 stable)" 0 71)
  ("(var3 up)" 71 100)
  ("(var3 stable)" 100 102)
  ("(var3 up)" 102 104)
  ("(var3 stable)" 104 173)
  ("(var3 up)" 173 177)
  ("(var3 down)" 177 186)
  ("(var3 stable)" 186 319)
  ("(var4 stable)" 0 68)
  ("(var4 up)" 68 70)
  ("(var4 down)" 70 72)
  ("(var4 up)" 72 103)
  ("(var4 stable)" 103 319)
  ("(var1 stable)" 0 74)
  ("(var1 up)" 74 94)
  ("(var1 stable)" 94 319)
  ("(var2 stable)" 0 83)
  ("(var2 up)" 83 85)
  ("(var2 down)" 85 90)
  ("(var2 up)" 90 218)
  ("(var2 stable)" 218 319)
 )
)
(36
 (
  ("(var3 stable)" 0 56)
  ("(var3 up)" 56 89)
  ("(var3 stable)" 89 165)
  ("(var3 up)" 165 170)
  ("(var3 down)" 170 180)
  ("(var3 up)" 180 184)
  ("(var3 stable)" 184 318)
  ("(var4 stable)" 0 52)
  ("(var4 up)" 52 86)
  ("(var4 stable)" 86 318)
  ("(var1 stable)" 0 51)
  ("(var1 up)" 51 78)
  ("(var1 stable)" 78 80)
  ("(var1 up)" 80 82)
  ("(var1 stable)" 82 318)
  ("(var2 stable)" 0 69)
  ("(var2 up)" 69 71)
  ("(var2 down)" 71 76)
  ("(var2 up)" 76 208)
  ("(var2 stable)" 208 318)
 )
)
(37
 (
  ("(var3 up)" 0 4)
  ("(var3 down)" 4 6)
  ("(var3 stable)" 6 47)
  ("(var3 up)" 47 77)
  ("(var3 stable)" 77 143)
  ("(var3 up)" 143 146)
  ("(var3 down)" 146 155)
  ("(var3 up)" 155 162)
  ("(var3 stable)" 162 282)
  ("(var4 stable)" 0 48)
  ("(var4 up)" 48 73)
  ("(var4 stable)" 73 282)
  ("(var1 stable)" 0 47)
  ("(var1 up)" 47 51)
  ("(var1 down)" 51 53)
  ("(var1 up)" 53 78)
  ("(var1 stable)" 78 282)
  ("(var2 stable)" 0 61)
  ("(var2 up)" 61 63)
  ("(var2 down)" 63 66)
  ("(var2 up)" 66 221)
  ("(var2 stable)" 221 282)
 )
)
(38
 (
  ("(var3 stable)" 0 71)
  ("(var3 up)" 71 102)
  ("(var3 stable)" 102 192)
  ("(var3 up)" 192 197)
  ("(var3 down)" 197 209)
  ("(var3 up)" 209 215)
  ("(var3 stable)" 215 356)
  ("(var4 stable)" 0 71)
  ("(var4 up)" 71 101)
  ("(var4 down)" 101 103)
  ("(var4 stable)" 103 356)
  ("(var1 stable)" 0 69)
  ("(var1 up)" 69 101)
  ("(var1 stable)" 101 356)
  ("(var2 stable)" 0 85)
  ("(var2 up)" 85 90)
  ("(var2 down)" 90 94)
  ("(var2 up)" 94 236)
  ("(var2 down)" 236 238)
  ("(var2 up)" 238 240)
  ("(var2 down)" 240 242)
  ("(var2 stable)" 242 245)
  ("(var2 up)" 245 247)
  ("(var2 stable)" 247 356)
 )
)
(39
 (
  ("(var3 stable)" 0 86)
  ("(var3 up)" 86 106)
  ("(var3 stable)" 106 181)
  ("(var3 up)" 181 185)
  ("(var3 stable)" 185 187)
  ("(var3 down)" 187 196)
  ("(var3 stable)" 196 320)
  ("(var4 stable)" 0 84)
  ("(var4 up)" 84 107)
  ("(var4 stable)" 107 320)
  ("(var1 stable)" 0 81)
  ("(var1 up)" 81 106)
  ("(var1 stable)" 106 320)
  ("(var2 stable)" 0 98)
  ("(var2 up)" 98 100)
  ("(var2 down)" 100 104)
  ("(var2 up)" 104 213)
  ("(var2 stable)" 213 320)
 )
)
(40
 (
  ("(var3 stable)" 0 52)
  ("(var3 up)" 52 84)
  ("(var3 stable)" 84 159)
  ("(var3 up)" 159 162)
  ("(var3 down)" 162 171)
  ("(var3 up)" 171 174)
  ("(var3 stable)" 174 304)
  ("(var4 stable)" 0 54)
  ("(var4 up)" 54 84)
  ("(var4 stable)" 84 304)
  ("(var1 stable)" 0 53)
  ("(var1 up)" 53 55)
  ("(var1 stable)" 55 58)
  ("(var1 up)" 58 80)
  ("(var1 stable)" 80 304)
  ("(var2 stable)" 0 68)
  ("(var2 up)" 68 70)
  ("(var2 down)" 70 75)
  ("(var2 up)" 75 176)
  ("(var2 stable)" 176 304)
 )
)
(41
 (
  ("(var3 stable)" 0 74)
  ("(var3 up)" 74 104)
  ("(var3 stable)" 104 174)
  ("(var3 up)" 174 181)
  ("(var3 down)" 181 189)
  ("(var3 up)" 189 194)
  ("(var3 stable)" 194 321)
  ("(var4 stable)" 0 79)
  ("(var4 up)" 79 100)
  ("(var4 stable)" 100 321)
  ("(var1 stable)" 0 69)
  ("(var1 up)" 69 107)
  ("(var1 down)" 107 109)
  ("(var1 stable)" 109 321)
  ("(var2 stable)" 0 89)
  ("(var2 up)" 89 91)
  ("(var2 down)" 91 96)
  ("(var2 up)" 96 208)
  ("(var2 stable)" 208 321)
 )
)
(42
 (
  ("(var3 stable)" 0 85)
  ("(var3 up)" 85 117)
  ("(var3 stable)" 117 193)
  ("(var3 down)" 193 195)
  ("(var3 up)" 195 204)
  ("(var3 down)" 204 216)
  ("(var3 up)" 216 218)
  ("(var3 stable)" 218 358)
  ("(var4 stable)" 0 83)
  ("(var4 up)" 83 111)
  ("(var4 stable)" 111 358)
  ("(var1 stable)" 0 87)
  ("(var1 up)" 87 114)
  ("(var1 stable)" 114 358)
  ("(var2 stable)" 0 99)
  ("(var2 up)" 99 101)
  ("(var2 down)" 101 106)
  ("(var2 stable)" 106 150)
  ("(var2 up)" 150 231)
  ("(var2 stable)" 231 358)
 )
)
(43
 (
  ("(var3 stable)" 0 67)
  ("(var3 up)" 67 107)
  ("(var3 stable)" 107 186)
  ("(var3 up)" 186 192)
  ("(var3 down)" 192 202)
  ("(var3 up)" 202 206)
  ("(var3 stable)" 206 349)
  ("(var4 stable)" 0 72)
  ("(var4 up)" 72 105)
  ("(var4 stable)" 105 349)
  ("(var1 stable)" 0 72)
  ("(var1 up)" 72 77)
  ("(var1 down)" 77 79)
  ("(var1 up)" 79 95)
  ("(var1 stable)" 95 349)
  ("(var2 stable)" 0 86)
  ("(var2 up)" 86 88)
  ("(var2 down)" 88 93)
  ("(var2 up)" 93 218)
  ("(var2 down)" 218 220)
  ("(var2 stable)" 220 349)
 )
)
(44
 (
  ("(var3 stable)" 0 35)
  ("(var3 up)" 35 70)
  ("(var3 stable)" 70 148)
  ("(var3 up)" 148 153)
  ("(var3 down)" 153 162)
  ("(var3 up)" 162 169)
  ("(var3 stable)" 169 303)
  ("(var4 stable)" 0 36)
  ("(var4 up)" 36 65)
  ("(var4 stable)" 65 303)
  ("(var1 stable)" 0 38)
  ("(var1 up)" 38 67)
  ("(var1 stable)" 67 303)
  ("(var2 stable)" 0 50)
  ("(var2 up)" 50 52)
  ("(var2 down)" 52 57)
  ("(var2 up)" 57 192)
  ("(var2 stable)" 192 303)
 )
)
(45
 (
  ("(var3 stable)" 0 38)
  ("(var3 up)" 38 69)
  ("(var3 stable)" 69 144)
  ("(var3 up)" 144 149)
  ("(var3 down)" 149 159)
  ("(var3 up)" 159 163)
  ("(var3 stable)" 163 292)
  ("(var4 stable)" 0 45)
  ("(var4 up)" 45 67)
  ("(var4 stable)" 67 292)
  ("(var1 stable)" 0 35)
  ("(var1 up)" 35 67)
  ("(var1 stable)" 67 292)
  ("(var2 stable)" 0 56)
  ("(var2 up)" 56 58)
  ("(var2 down)" 58 62)
  ("(var2 up)" 62 141)
  ("(var2 stable)" 141 143)
  ("(var2 up)" 143 183)
  ("(var2 stable)" 183 292)
 )
)
(46
 (
  ("(var3 stable)" 0 50)
  ("(var3 down)" 50 52)
  ("(var3 up)" 52 82)
  ("(var3 stable)" 82 156)
  ("(var3 up)" 156 158)
  ("(var3 down)" 158 168)
  ("(var3 up)" 168 171)
  ("(var3 stable)" 171 302)
  ("(var4 stable)" 0 50)
  ("(var4 up)" 50 77)
  ("(var4 stable)" 77 302)
  ("(var1 stable)" 0 50)
  ("(var1 up)" 50 76)
  ("(var1 stable)" 76 302)
  ("(var2 stable)" 0 64)
  ("(var2 up)" 64 66)
  ("(var2 down)" 66 71)
  ("(var2 stable)" 71 108)
  ("(var2 up)" 108 188)
  ("(var2 stable)" 188 302)
 )
)
(47
 (
  ("(var3 up)" 0 3)
  ("(var3 stable)" 3 51)
  ("(var3 up)" 51 83)
  ("(var3 stable)" 83 161)
  ("(var3 up)" 161 169)
  ("(var3 down)" 169 179)
  ("(var3 up)" 179 185)
  ("(var3 stable)" 185 319)
  ("(var4 stable)" 0 56)
  ("(var4 up)" 56 83)
  ("(var4 stable)" 83 319)
  ("(var1 stable)" 0 52)
  ("(var1 up)" 52 85)
  ("(var1 stable)" 85 319)
  ("(var2 stable)" 0 68)
  ("(var2 up)" 68 70)
  ("(var2 down)" 70 75)
  ("(var2 up)" 75 208)
  ("(var2 stable)" 208 319)
 )
)
(48
 (
  ("(var3 down)" 0 2)
  ("(var3 stable)" 2 64)
  ("(var3 up)" 64 94)
  ("(var3 stable)" 94 180)
  ("(var3 up)" 180 185)
  ("(var3 down)" 185 194)
  ("(var3 up)" 194 200)
  ("(var3 stable)" 200 339)
  ("(var4 stable)" 0 67)
  ("(var4 up)" 67 91)
  ("(var4 stable)" 91 339)
  ("(var1 stable)" 0 59)
  ("(var1 up)" 59 97)
  ("(var1 stable)" 97 339)
  ("(var2 stable)" 0 78)
  ("(var2 up)" 78 80)
  ("(var2 down)" 80 85)
  ("(var2 up)" 85 141)
  ("(var2 down)" 141 143)
  ("(var2 up)" 143 207)
  ("(var2 stable)" 207 339)
 )
)
(49
 (
  ("(var3 stable)" 0 74)
  ("(var3 up)" 74 100)
  ("(var3 stable)" 100 180)
  ("(var3 up)" 180 186)
  ("(var3 down)" 186 193)
  ("(var3 up)" 193 198)
  ("(var3 stable)" 198 327)
  ("(var4 stable)" 0 76)
  ("(var4 up)" 76 103)
  ("(var4 stable)" 103 327)
  ("(var1 stable)" 0 73)
  ("(var1 up)" 73 96)
  ("(var1 stable)" 96 327)
  ("(var2 stable)" 0 87)
  ("(var2 up)" 87 89)
  ("(var2 down)" 89 94)
  ("(var2 up)" 94 231)
  ("(var2 stable)" 231 327)
 )
)
(50
 (
  ("(var3 stable)" 0 56)
  ("(var3 up)" 56 89)
  ("(var3 stable)" 89 154)
  ("(var3 up)" 154 159)
  ("(var3 down)" 159 167)
  ("(var3 stable)" 167 169)
  ("(var3 up)" 169 172)
  ("(var3 stable)" 172 296)
  ("(var4 stable)" 0 56)
  ("(var4 up)" 56 58)
  ("(var4 stable)" 58 60)
  ("(var4 up)" 60 86)
  ("(var4 stable)" 86 296)
  ("(var1 stable)" 0 56)
  ("(var1 up)" 56 80)
  ("(var1 stable)" 80 296)
  ("(var2 stable)" 0 68)
  ("(var2 up)" 68 70)
  ("(var2 down)" 70 74)
  ("(var2 up)" 74 203)
  ("(var2 stable)" 203 296)
 )
)
(51
 (
  ("(var3 stable)" 0 71)
  ("(var3 up)" 71 105)
  ("(var3 down)" 105 107)
  ("(var3 up)" 107 109)
  ("(var3 stable)" 109 198)
  ("(var3 up)" 198 203)
  ("(var3 down)" 203 213)
  ("(var3 up)" 213 219)
  ("(var3 stable)" 219 365)
  ("(var4 stable)" 0 76)
  ("(var4 down)" 76 79)
  ("(var4 up)" 79 114)
  ("(var4 stable)" 114 365)
  ("(var1 stable)" 0 71)
  ("(var1 up)" 71 107)
  ("(var1 stable)" 107 365)
  ("(var2 stable)" 0 93)
  ("(var2 up)" 93 97)
  ("(var2 down)" 97 101)
  ("(var2 stable)" 101 149)
  ("(var2 up)" 149 228)
  ("(var2 down)" 228 230)
  ("(var2 up)" 230 232)
  ("(var2 down)" 232 235)
  ("(var2 up)" 235 239)
  ("(var2 stable)" 239 365)
 )
)
(52
 (
  ("(var3 stable)" 0 48)
  ("(var3 up)" 48 76)
  ("(var3 stable)" 76 152)
  ("(var3 up)" 152 158)
  ("(var3 down)" 158 168)
  ("(var3 up)" 168 172)
  ("(var3 stable)" 172 308)
  ("(var4 stable)" 0 41)
  ("(var4 up)" 41 76)
  ("(var4 stable)" 76 308)
  ("(var1 stable)" 0 46)
  ("(var1 up)" 46 76)
  ("(var1 stable)" 76 308)
  ("(var2 stable)" 0 60)
  ("(var2 up)" 60 62)
  ("(var2 down)" 62 67)
  ("(var2 up)" 67 192)
  ("(var2 stable)" 192 308)
 )
)
(53
 (
  ("(var3 stable)" 0 56)
  ("(var3 up)" 56 58)
  ("(var3 down)" 58 60)
  ("(var3 up)" 60 91)
  ("(var3 stable)" 91 171)
  ("(var3 up)" 171 179)
  ("(var3 down)" 179 189)
  ("(var3 up)" 189 194)
  ("(var3 stable)" 194 335)
  ("(var4 stable)" 0 59)
  ("(var4 up)" 59 87)
  ("(var4 stable)" 87 335)
  ("(var1 stable)" 0 61)
  ("(var1 up)" 61 84)
  ("(var1 stable)" 84 335)
  ("(var2 stable)" 0 72)
  ("(var2 up)" 72 74)
  ("(var2 down)" 74 79)
  ("(var2 stable)" 79 124)
  ("(var2 up)" 124 176)
  ("(var2 stable)" 176 179)
  ("(var2 up)" 179 187)
  ("(var2 stable)" 187 335)
 )
)
(54
 (
  ("(var3 stable)" 0 87)
  ("(var3 up)" 87 126)
  ("(var3 stable)" 126 198)
  ("(var3 up)" 198 203)
  ("(var3 down)" 203 213)
  ("(var3 up)" 213 216)
  ("(var3 stable)" 216 347)
  ("(var4 stable)" 0 92)
  ("(var4 up)" 92 115)
  ("(var4 stable)" 115 347)
  ("(var1 stable)" 0 95)
  ("(var1 up)" 95 118)
  ("(var1 stable)" 118 347)
  ("(var2 stable)" 0 105)
  ("(var2 up)" 105 107)
  ("(var2 down)" 107 112)
  ("(var2 up)" 112 234)
  ("(var2 stable)" 234 347)
 )
)
(55
 (
  ("(var3 stable)" 0 93)
  ("(var3 up)" 93 126)
  ("(var3 stable)" 126 212)
  ("(var3 up)" 212 214)
  ("(var3 down)" 214 226)
  ("(var3 up)" 226 230)
  ("(var3 stable)" 230 377)
  ("(var4 stable)" 0 90)
  ("(var4 up)" 90 124)
  ("(var4 stable)" 124 377)
  ("(var1 stable)" 0 91)
  ("(var1 down)" 91 93)
  ("(var1 up)" 93 120)
  ("(var1 stable)" 120 377)
  ("(var2 stable)" 0 108)
  ("(var2 up)" 108 112)
  ("(var2 down)" 112 117)
  ("(var2 up)" 117 245)
  ("(var2 stable)" 245 377)
 )
)
(56
 (
  ("(var3 stable)" 0 48)
  ("(var3 up)" 48 81)
  ("(var3 stable)" 81 286)
  ("(var4 stable)" 0 44)
  ("(var4 up)" 44 80)
  ("(var4 stable)" 80 286)
  ("(var1 stable)" 0 47)
  ("(var1 up)" 47 74)
  ("(var1 stable)" 74 286)
  ("(var2 stable)" 0 63)
  ("(var2 up)" 63 65)
  ("(var2 down)" 65 70)
  ("(var2 up)" 70 171)
  ("(var2 stable)" 171 286)
 )
)
(57
 (
  ("(var3 stable)" 0 34)
  ("(var3 up)" 34 36)
  ("(var3 down)" 36 39)
  ("(var3 up)" 39 63)
  ("(var3 stable)" 63 65)
  ("(var3 up)" 65 71)
  ("(var3 stable)" 71 152)
  ("(var3 up)" 152 159)
  ("(var3 down)" 159 168)
  ("(var3 up)" 168 174)
  ("(var3 stable)" 174 309)
  ("(var4 stable)" 0 39)
  ("(var4 up)" 39 72)
  ("(var4 stable)" 72 309)
  ("(var1 stable)" 0 39)
  ("(var1 up)" 39 67)
  ("(var1 down)" 67 69)
  ("(var1 up)" 69 71)
  ("(var1 stable)" 71 309)
  ("(var2 stable)" 0 53)
  ("(var2 up)" 53 58)
  ("(var2 down)" 58 61)
  ("(var2 up)" 61 212)
  ("(var2 stable)" 212 309)
 )
)
(58
 (
  ("(var3 stable)" 0 70)
  ("(var3 up)" 70 100)
  ("(var3 stable)" 100 177)
  ("(var3 up)" 177 182)
  ("(var3 down)" 182 190)
  ("(var3 stable)" 190 192)
  ("(var3 up)" 192 196)
  ("(var3 stable)" 196 329)
  ("(var4 stable)" 0 70)
  ("(var4 up)" 70 99)
  ("(var4 down)" 99 101)
  ("(var4 up)" 101 103)
  ("(var4 stable)" 103 329)
  ("(var1 stable)" 0 73)
  ("(var1 up)" 73 95)
  ("(var1 stable)" 95 329)
  ("(var2 stable)" 0 83)
  ("(var2 up)" 83 85)
  ("(var2 down)" 85 90)
  ("(var2 stable)" 90 134)
  ("(var2 up)" 134 209)
  ("(var2 stable)" 209 329)
 )
)
(59
 (
  ("(var3 stable)" 0 44)
  ("(var3 up)" 44 78)
  ("(var3 down)" 78 80)
  ("(var3 up)" 80 82)
  ("(var3 down)" 82 84)
  ("(var3 stable)" 84 167)
  ("(var3 up)" 167 175)
  ("(var3 down)" 175 185)
  ("(var3 up)" 185 190)
  ("(var3 stable)" 190 334)
  ("(var4 stable)" 0 48)
  ("(var4 up)" 48 50)
  ("(var4 stable)" 50 53)
  ("(var4 up)" 53 79)
  ("(var4 stable)" 79 334)
  ("(var1 stable)" 0 46)
  ("(var1 up)" 46 51)
  ("(var1 down)" 51 53)
  ("(var1 up)" 53 77)
  ("(var1 stable)" 77 334)
  ("(var2 stable)" 0 60)
  ("(var2 up)" 60 64)
  ("(var2 down)" 64 68)
  ("(var2 up)" 68 236)
  ("(var2 stable)" 236 331)
  ("(var2 down)" 331 334)
 )
)
(60
 (
  ("(var3 stable)" 0 84)
  ("(var3 up)" 84 116)
  ("(var3 stable)" 116 195)
  ("(var3 up)" 195 201)
  ("(var3 down)" 201 211)
  ("(var3 up)" 211 213)
  ("(var3 stable)" 213 348)
  ("(var4 stable)" 0 83)
  ("(var4 up)" 83 115)
  ("(var4 stable)" 115 348)
  ("(var1 stable)" 0 89)
  ("(var1 up)" 89 122)
  ("(var1 stable)" 122 348)
  ("(var2 stable)" 0 102)
  ("(var2 up)" 102 104)
  ("(var2 down)" 104 109)
  ("(var2 up)" 109 232)
  ("(var2 stable)" 232 348)
 )
)
(61
 (
  ("(var3 stable)" 0 55)
  ("(var3 up)" 55 57)
  ("(var3 stable)" 57 59)
  ("(var3 up)" 59 90)
  ("(var3 stable)" 90 164)
  ("(var3 up)" 164 169)
  ("(var3 down)" 169 180)
  ("(var3 up)" 180 185)
  ("(var3 stable)" 185 317)
  ("(var4 stable)" 0 57)
  ("(var4 up)" 57 88)
  ("(var4 stable)" 88 317)
  ("(var1 stable)" 0 51)
  ("(var1 up)" 51 83)
  ("(var1 stable)" 83 317)
  ("(var2 stable)" 0 70)
  ("(var2 up)" 70 72)
  ("(var2 down)" 72 77)
  ("(var2 stable)" 77 117)
  ("(var2 up)" 117 205)
  ("(var2 stable)" 205 317)
 )
)
(62
 (
  ("(var3 stable)" 0 78)
  ("(var3 up)" 78 113)
  ("(var3 stable)" 113 202)
  ("(var3 up)" 202 205)
  ("(var3 stable)" 205 207)
  ("(var3 down)" 207 216)
  ("(var3 up)" 216 220)
  ("(var3 stable)" 220 363)
  ("(var4 stable)" 0 76)
  ("(var4 up)" 76 109)
  ("(var4 stable)" 109 363)
  ("(var1 stable)" 0 83)
  ("(var1 up)" 83 110)
  ("(var1 stable)" 110 363)
  ("(var2 stable)" 0 95)
  ("(var2 up)" 95 99)
  ("(var2 down)" 99 103)
  ("(var2 stable)" 103 151)
  ("(var2 up)" 151 211)
  ("(var2 down)" 211 213)
  ("(var2 up)" 213 243)
  ("(var2 stable)" 243 363)
 )
)
(63
 (
  ("(var3 stable)" 0 37)
  ("(var3 up)" 37 69)
  ("(var3 stable)" 69 143)
  ("(var3 up)" 143 148)
  ("(var3 down)" 148 157)
  ("(var3 up)" 157 161)
  ("(var3 stable)" 161 296)
  ("(var4 stable)" 0 33)
  ("(var4 up)" 33 63)
  ("(var4 stable)" 63 296)
  ("(var1 stable)" 0 32)
  ("(var1 up)" 32 64)
  ("(var1 stable)" 64 296)
  ("(var2 stable)" 0 49)
  ("(var2 up)" 49 51)
  ("(var2 down)" 51 56)
  ("(var2 stable)" 56 100)
  ("(var2 up)" 100 175)
  ("(var2 stable)" 175 296)
 )
)
(64
 (
  ("(var3 stable)" 0 85)
  ("(var3 up)" 85 106)
  ("(var3 stable)" 106 188)
  ("(var3 up)" 188 190)
  ("(var3 down)" 190 199)
  ("(var3 up)" 199 204)
  ("(var3 stable)" 204 322)
  ("(var3 up)" 322 324)
  ("(var4 stable)" 0 79)
  ("(var4 up)" 79 110)
  ("(var4 stable)" 110 324)
  ("(var1 stable)" 0 86)
  ("(var1 up)" 86 111)
  ("(var1 down)" 111 113)
  ("(var1 up)" 113 115)
  ("(var1 stable)" 115 324)
  ("(var2 stable)" 0 94)
  ("(var2 up)" 94 96)
  ("(var2 down)" 96 101)
  ("(var2 up)" 101 198)
  ("(var2 down)" 198 200)
  ("(var2 up)" 200 225)
  ("(var2 stable)" 225 324)
 )
)
(65
 (
  ("(var3 stable)" 0 38)
  ("(var3 up)" 38 77)
  ("(var3 stable)" 77 154)
  ("(var3 up)" 154 159)
  ("(var3 down)" 159 169)
  ("(var3 up)" 169 176)
  ("(var3 stable)" 176 316)
  ("(var4 stable)" 0 42)
  ("(var4 up)" 42 72)
  ("(var4 stable)" 72 316)
  ("(var1 stable)" 0 44)
  ("(var1 up)" 44 68)
  ("(var1 stable)" 68 316)
  ("(var2 stable)" 0 57)
  ("(var2 up)" 57 59)
  ("(var2 down)" 59 64)
  ("(var2 up)" 64 198)
  ("(var2 down)" 198 201)
  ("(var2 up)" 201 204)
  ("(var2 stable)" 204 316)
 )
)
(66
 (
  ("(var3 stable)" 0 38)
  ("(var3 up)" 38 68)
  ("(var3 stable)" 68 146)
  ("(var3 up)" 146 149)
  ("(var3 down)" 149 161)
  ("(var3 up)" 161 165)
  ("(var3 stable)" 165 293)
  ("(var4 stable)" 0 39)
  ("(var4 up)" 39 72)
  ("(var4 stable)" 72 293)
  ("(var1 stable)" 0 42)
  ("(var1 up)" 42 44)
  ("(var1 stable)" 44 46)
  ("(var1 up)" 46 63)
  ("(var1 stable)" 63 293)
  ("(var2 stable)" 0 52)
  ("(var2 up)" 52 54)
  ("(var2 down)" 54 59)
  ("(var2 up)" 59 153)
  ("(var2 stable)" 153 157)
  ("(var2 up)" 157 189)
  ("(var2 stable)" 189 293)
 )
)
(67
 (
  ("(var3 stable)" 0 72)
  ("(var3 up)" 72 74)
  ("(var3 stable)" 74 76)
  ("(var3 up)" 76 102)
  ("(var3 stable)" 102 182)
  ("(var3 up)" 182 187)
  ("(var3 down)" 187 196)
  ("(var3 up)" 196 203)
  ("(var3 stable)" 203 332)
  ("(var4 stable)" 0 72)
  ("(var4 up)" 72 74)
  ("(var4 stable)" 74 76)
  ("(var4 up)" 76 99)
  ("(var4 stable)" 99 332)
  ("(var1 stable)" 0 75)
  ("(var1 up)" 75 103)
  ("(var1 stable)" 103 332)
  ("(var2 stable)" 0 88)
  ("(var2 up)" 88 90)
  ("(var2 down)" 90 95)
  ("(var2 up)" 95 221)
  ("(var2 stable)" 221 332)
 )
)
(68
 (
  ("(var3 stable)" 0 103)
  ("(var3 up)" 103 134)
  ("(var3 stable)" 134 220)
  ("(var3 up)" 220 226)
  ("(var3 down)" 226 238)
  ("(var3 up)" 238 242)
  ("(var3 stable)" 242 384)
  ("(var4 stable)" 0 97)
  ("(var4 up)" 97 104)
  ("(var4 stable)" 104 106)
  ("(var4 up)" 106 139)
  ("(var4 stable)" 139 384)
  ("(var1 stable)" 0 106)
  ("(var1 up)" 106 125)
  ("(var1 stable)" 125 384)
  ("(var2 stable)" 0 115)
  ("(var2 up)" 115 117)
  ("(var2 down)" 117 122)
  ("(var2 up)" 122 246)
  ("(var2 stable)" 246 384)
 )
)
(69
 (
  ("(var3 stable)" 0 96)
  ("(var3 down)" 96 98)
  ("(var3 up)" 98 133)
  ("(var3 stable)" 133 214)
  ("(var3 up)" 214 220)
  ("(var3 stable)" 220 222)
  ("(var3 down)" 222 233)
  ("(var3 up)" 233 237)
  ("(var3 stable)" 237 385)
  ("(var4 stable)" 0 99)
  ("(var4 up)" 99 123)
  ("(var4 stable)" 123 125)
  ("(var4 up)" 125 134)
  ("(var4 stable)" 134 385)
  ("(var1 stable)" 0 97)
  ("(var1 down)" 97 99)
  ("(var1 up)" 99 130)
  ("(var1 stable)" 130 385)
  ("(var2 stable)" 0 113)
  ("(var2 up)" 113 115)
  ("(var2 down)" 115 120)
  ("(var2 stable)" 120 162)
  ("(var2 up)" 162 249)
  ("(var2 stable)" 249 255)
  ("(var2 up)" 255 257)
  ("(var2 stable)" 257 385)
 )
)
(70
 (
  ("(var3 stable)" 0 60)
  ("(var3 up)" 60 92)
  ("(var3 stable)" 92 175)
  ("(var3 up)" 175 180)
  ("(var3 down)" 180 190)
  ("(var3 up)" 190 196)
  ("(var3 stable)" 196 337)
  ("(var4 stable)" 0 62)
  ("(var4 up)" 62 64)
  ("(var4 stable)" 64 66)
  ("(var4 up)" 66 93)
  ("(var4 stable)" 93 337)
  ("(var1 stable)" 0 62)
  ("(var1 up)" 62 89)
  ("(var1 stable)" 89 337)
  ("(var2 stable)" 0 74)
  ("(var2 up)" 74 76)
  ("(var2 down)" 76 81)
  ("(var2 stable)" 81 124)
  ("(var2 up)" 124 217)
  ("(var2 down)" 217 219)
  ("(var2 up)" 219 221)
  ("(var2 down)" 221 224)
  ("(var2 stable)" 224 337)
 )
)
(71
 (
  ("(var3 stable)" 0 54)
  ("(var3 up)" 54 58)
  ("(var3 stable)" 58 60)
  ("(var3 up)" 60 87)
  ("(var3 stable)" 87 164)
  ("(var3 up)" 164 167)
  ("(var3 down)" 167 178)
  ("(var3 up)" 178 183)
  ("(var3 stable)" 183 313)
  ("(var3 down)" 313 315)
  ("(var4 stable)" 0 54)
  ("(var4 up)" 54 83)
  ("(var4 stable)" 83 315)
  ("(var1 stable)" 0 55)
  ("(var1 up)" 55 80)
  ("(var1 stable)" 80 315)
  ("(var2 stable)" 0 68)
  ("(var2 up)" 68 70)
  ("(var2 down)" 70 75)
  ("(var2 up)" 75 200)
  ("(var2 stable)" 200 313)
  ("(var2 down)" 313 315)
 )
)
(72
 (
  ("(var3 stable)" 0 43)
  ("(var3 up)" 43 79)
  ("(var3 stable)" 79 146)
  ("(var3 up)" 146 153)
  ("(var3 down)" 153 163)
  ("(var3 up)" 163 167)
  ("(var3 stable)" 167 294)
  ("(var4 stable)" 0 41)
  ("(var4 up)" 41 43)
  ("(var4 down)" 43 45)
  ("(var4 up)" 45 73)
  ("(var4 stable)" 73 294)
  ("(var1 stable)" 0 39)
  ("(var1 up)" 39 66)
  ("(var1 stable)" 66 294)
  ("(var2 stable)" 0 58)
  ("(var2 up)" 58 60)
  ("(var2 down)" 60 64)
  ("(var2 up)" 64 197)
  ("(var2 stable)" 197 294)
 )
)
(73
 (
  ("(var3 stable)" 0 75)
  ("(var3 up)" 75 110)
  ("(var3 stable)" 110 191)
  ("(var3 up)" 191 196)
  ("(var3 down)" 196 206)
  ("(var3 up)" 206 210)
  ("(var3 stable)" 210 349)
  ("(var4 stable)" 0 70)
  ("(var4 up)" 70 99)
  ("(var4 stable)" 99 349)
  ("(var1 stable)" 0 79)
  ("(var1 up)" 79 104)
  ("(var1 stable)" 104 349)
  ("(var2 stable)" 0 89)
  ("(var2 up)" 89 91)
  ("(var2 down)" 91 96)
  ("(var2 stable)" 96 141)
  ("(var2 up)" 141 227)
  ("(var2 stable)" 227 349)
 )
)
(74
 (
  ("(var3 stable)" 0 87)
  ("(var3 up)" 87 117)
  ("(var3 stable)" 117 192)
  ("(var3 up)" 192 196)
  ("(var3 stable)" 196 198)
  ("(var3 down)" 198 208)
  ("(var3 up)" 208 211)
  ("(var3 stable)" 211 341)
  ("(var4 stable)" 0 87)
  ("(var4 up)" 87 118)
  ("(var4 stable)" 118 341)
  ("(var1 stable)" 0 90)
  ("(var1 up)" 90 111)
  ("(var1 stable)" 111 341)
  ("(var2 stable)" 0 102)
  ("(var2 up)" 102 104)
  ("(var2 down)" 104 108)
  ("(var2 up)" 108 232)
  ("(var2 stable)" 232 341)
 )
)
(75
 (
  ("(var3 stable)" 0 65)
  ("(var3 up)" 65 100)
  ("(var3 stable)" 100 169)
  ("(var3 up)" 169 174)
  ("(var3 down)" 174 185)
  ("(var3 up)" 185 189)
  ("(var3 stable)" 189 318)
  ("(var4 stable)" 0 73)
  ("(var4 up)" 73 100)
  ("(var4 stable)" 100 318)
  ("(var1 stable)" 0 71)
  ("(var1 up)" 71 98)
  ("(var1 stable)" 98 318)
  ("(var2 stable)" 0 85)
  ("(var2 up)" 85 87)
  ("(var2 down)" 87 92)
  ("(var2 stable)" 92 131)
  ("(var2 up)" 131 221)
  ("(var2 stable)" 221 318)
 )
)
(76
 (
  ("(var3 up)" 0 4)
  ("(var3 down)" 4 6)
  ("(var3 stable)" 6 35)
  ("(var3 up)" 35 62)
  ("(var3 stable)" 62 142)
  ("(var3 up)" 142 145)
  ("(var3 down)" 145 155)
  ("(var3 up)" 155 160)
  ("(var3 stable)" 160 283)
  ("(var4 stable)" 0 30)
  ("(var4 up)" 30 61)
  ("(var4 stable)" 61 63)
  ("(var4 up)" 63 66)
  ("(var4 down)" 66 69)
  ("(var4 stable)" 69 283)
  ("(var1 down)" 0 2)
  ("(var1 stable)" 2 35)
  ("(var1 up)" 35 62)
  ("(var1 down)" 62 64)
  ("(var1 stable)" 64 283)
  ("(var2 stable)" 0 48)
  ("(var2 up)" 48 50)
  ("(var2 down)" 50 55)
  ("(var2 up)" 55 159)
  ("(var2 down)" 159 161)
  ("(var2 up)" 161 163)
  ("(var2 stable)" 163 165)
  ("(var2 up)" 165 167)
  ("(var2 stable)" 167 283)
 )
)
(77
 (
  ("(var3 stable)" 0 45)
  ("(var3 up)" 45 73)
  ("(var3 stable)" 73 156)
  ("(var3 up)" 156 159)
  ("(var3 down)" 159 169)
  ("(var3 up)" 169 175)
  ("(var3 stable)" 175 309)
  ("(var4 stable)" 0 41)
  ("(var4 up)" 41 73)
  ("(var4 stable)" 73 309)
  ("(var1 stable)" 0 3)
  ("(var1 down)" 3 5)
  ("(var1 stable)" 5 45)
  ("(var1 down)" 45 47)
  ("(var1 up)" 47 75)
  ("(var1 stable)" 75 309)
  ("(var2 stable)" 0 56)
  ("(var2 up)" 56 60)
  ("(var2 down)" 60 64)
  ("(var2 up)" 64 187)
  ("(var2 stable)" 187 309)
 )
)
(78
 (
  ("(var3 stable)" 0 75)
  ("(var3 up)" 75 109)
  ("(var3 stable)" 109 190)
  ("(var3 up)" 190 197)
  ("(var3 down)" 197 210)
  ("(var3 up)" 210 213)
  ("(var3 stable)" 213 361)
  ("(var4 stable)" 0 77)
  ("(var4 up)" 77 80)
  ("(var4 stable)" 80 82)
  ("(var4 up)" 82 110)
  ("(var4 stable)" 110 361)
  ("(var1 stable)" 0 75)
  ("(var1 up)" 75 79)
  ("(var1 stable)" 79 81)
  ("(var1 up)" 81 103)
  ("(var1 stable)" 103 361)
  ("(var2 stable)" 0 90)
  ("(var2 up)" 90 92)
  ("(var2 down)" 92 97)
  ("(var2 stable)" 97 140)
  ("(var2 up)" 140 235)
  ("(var2 stable)" 235 361)
 )
)
(79
 (
  ("(var3 stable)" 0 74)
  ("(var3 down)" 74 76)
  ("(var3 up)" 76 104)
  ("(var3 stable)" 104 188)
  ("(var3 down)" 188 190)
  ("(var3 up)" 190 197)
  ("(var3 down)" 197 209)
  ("(var3 up)" 209 213)
  ("(var3 stable)" 213 350)
  ("(var3 up)" 350 352)
  ("(var4 stable)" 0 72)
  ("(var4 up)" 72 75)
  ("(var4 down)" 75 77)
  ("(var4 up)" 77 102)
  ("(var4 stable)" 102 352)
  ("(var1 stable)" 0 74)
  ("(var1 up)" 74 99)
  ("(var1 stable)" 99 352)
  ("(var2 stable)" 0 86)
  ("(var2 up)" 86 88)
  ("(var2 down)" 88 93)
  ("(var2 stable)" 93 143)
  ("(var2 up)" 143 196)
  ("(var2 stable)" 196 199)
  ("(var2 up)" 199 234)
  ("(var2 stable)" 234 352)
 )
)
(80
 (
  ("(var3 stable)" 0 33)
  ("(var3 up)" 33 66)
  ("(var3 stable)" 66 146)
  ("(var3 up)" 146 151)
  ("(var3 stable)" 151 153)
  ("(var3 down)" 153 163)
  ("(var3 up)" 163 167)
  ("(var3 stable)" 167 305)
  ("(var3 up)" 305 307)
  ("(var4 stable)" 0 32)
  ("(var4 up)" 32 60)
  ("(var4 stable)" 60 307)
  ("(var1 stable)" 0 35)
  ("(var1 up)" 35 66)
  ("(var1 stable)" 66 307)
  ("(var2 stable)" 0 49)
  ("(var2 up)" 49 51)
  ("(var2 down)" 51 56)
  ("(var2 up)" 56 191)
  ("(var2 stable)" 191 307)
 )
)
(81
 (
  ("(var3 stable)" 0 79)
  ("(var3 up)" 79 119)
  ("(var3 stable)" 119 193)
  ("(var3 up)" 193 197)
  ("(var3 stable)" 197 199)
  ("(var3 down)" 199 209)
  ("(var3 up)" 209 213)
  ("(var3 stable)" 213 355)
  ("(var4 stable)" 0 77)
  ("(var4 up)" 77 109)
  ("(var4 down)" 109 111)
  ("(var4 stable)" 111 355)
  ("(var1 stable)" 0 79)
  ("(var1 up)" 79 108)
  ("(var1 down)" 108 110)
  ("(var1 stable)" 110 355)
  ("(var2 stable)" 0 93)
  ("(var2 up)" 93 95)
  ("(var2 down)" 95 100)
  ("(var2 stable)" 100 142)
  ("(var2 up)" 142 236)
  ("(var2 stable)" 236 355)
 )
)
(82
 (
  ("(var3 stable)" 0 63)
  ("(var3 up)" 63 98)
  ("(var3 stable)" 98 177)
  ("(var3 up)" 177 182)
  ("(var3 down)" 182 191)
  ("(var3 up)" 191 199)
  ("(var3 stable)" 199 331)
  ("(var4 stable)" 0 67)
  ("(var4 up)" 67 99)
  ("(var4 stable)" 99 331)
  ("(var1 stable)" 0 69)
  ("(var1 up)" 69 94)
  ("(var1 stable)" 94 331)
  ("(var2 stable)" 0 81)
  ("(var2 up)" 81 83)
  ("(var2 down)" 83 88)
  ("(var2 up)" 88 214)
  ("(var2 stable)" 214 331)
 )
)
(83
 (
  ("(var3 stable)" 0 49)
  ("(var3 up)" 49 82)
  ("(var3 stable)" 82 156)
  ("(var3 up)" 156 162)
  ("(var3 down)" 162 171)
  ("(var3 up)" 171 175)
  ("(var3 stable)" 175 301)
  ("(var4 stable)" 0 50)
  ("(var4 up)" 50 84)
  ("(var4 stable)" 84 301)
  ("(var1 stable)" 0 56)
  ("(var1 up)" 56 81)
  ("(var1 stable)" 81 301)
  ("(var2 stable)" 0 67)
  ("(var2 up)" 67 69)
  ("(var2 down)" 69 74)
  ("(var2 up)" 74 185)
  ("(var2 stable)" 185 301)
 )
)
(84
 (
  ("(var3 stable)" 0 80)
  ("(var3 up)" 80 115)
  ("(var3 stable)" 115 190)
  ("(var3 up)" 190 194)
  ("(var3 down)" 194 204)
  ("(var3 up)" 204 210)
  ("(var3 stable)" 210 334)
  ("(var4 stable)" 0 79)
  ("(var4 up)" 79 114)
  ("(var4 stable)" 114 334)
  ("(var1 stable)" 0 89)
  ("(var1 up)" 89 109)
  ("(var1 stable)" 109 334)
  ("(var2 stable)" 0 98)
  ("(var2 up)" 98 100)
  ("(var2 down)" 100 105)
  ("(var2 up)" 105 194)
  ("(var2 down)" 194 196)
  ("(var2 up)" 196 235)
  ("(var2 stable)" 235 334)
 )
)
(85
 (
  ("(var3 stable)" 0 95)
  ("(var3 up)" 95 131)
  ("(var3 stable)" 131 223)
  ("(var3 up)" 223 225)
  ("(var3 stable)" 225 227)
  ("(var3 down)" 227 236)
  ("(var3 stable)" 236 238)
  ("(var3 up)" 238 244)
  ("(var3 stable)" 244 390)
  ("(var4 stable)" 0 96)
  ("(var4 up)" 96 133)
  ("(var4 stable)" 133 390)
  ("(var1 stable)" 0 99)
  ("(var1 up)" 99 103)
  ("(var1 stable)" 103 106)
  ("(var1 up)" 106 128)
  ("(var1 stable)" 128 390)
  ("(var2 stable)" 0 118)
  ("(var2 up)" 118 122)
  ("(var2 down)" 122 126)
  ("(var2 up)" 126 254)
  ("(var2 stable)" 254 390)
 )
)
(86
 (
  ("(var3 stable)" 0 84)
  ("(var3 up)" 84 118)
  ("(var3 stable)" 118 198)
  ("(var3 up)" 198 203)
  ("(var3 down)" 203 214)
  ("(var3 up)" 214 220)
  ("(var3 stable)" 220 360)
  ("(var4 stable)" 0 85)
  ("(var4 up)" 85 116)
  ("(var4 stable)" 116 360)
  ("(var1 stable)" 0 83)
  ("(var1 up)" 83 106)
  ("(var1 stable)" 106 360)
  ("(var2 stable)" 0 95)
  ("(var2 up)" 95 97)
  ("(var2 down)" 97 106)
  ("(var2 stable)" 106 142)
  ("(var2 up)" 142 249)
  ("(var2 stable)" 249 360)
 )
)
(87
 (
  ("(var3 stable)" 0 53)
  ("(var3 down)" 53 56)
  ("(var3 up)" 56 82)
  ("(var3 stable)" 82 84)
  ("(var3 up)" 84 86)
  ("(var3 stable)" 86 161)
  ("(var3 up)" 161 164)
  ("(var3 stable)" 164 166)
  ("(var3 down)" 166 176)
  ("(var3 up)" 176 180)
  ("(var3 stable)" 180 309)
  ("(var4 stable)" 0 49)
  ("(var4 up)" 49 82)
  ("(var4 stable)" 82 309)
  ("(var1 stable)" 0 53)
  ("(var1 up)" 53 81)
  ("(var1 down)" 81 83)
  ("(var1 stable)" 83 309)
  ("(var2 stable)" 0 67)
  ("(var2 up)" 67 71)
  ("(var2 down)" 71 75)
  ("(var2 up)" 75 198)
  ("(var2 stable)" 198 309)
 )
)
(88
 (
  ("(var3 stable)" 0 72)
  ("(var3 up)" 72 99)
  ("(var3 stable)" 99 187)
  ("(var3 up)" 187 191)
  ("(var3 down)" 191 202)
  ("(var3 up)" 202 208)
  ("(var3 stable)" 208 346)
  ("(var4 stable)" 0 64)
  ("(var4 down)" 64 66)
  ("(var4 up)" 66 103)
  ("(var4 stable)" 103 346)
  ("(var1 stable)" 0 61)
  ("(var1 up)" 61 100)
  ("(var1 stable)" 100 346)
  ("(var2 stable)" 0 84)
  ("(var2 up)" 84 86)
  ("(var2 down)" 86 91)
  ("(var2 stable)" 91 135)
  ("(var2 up)" 135 228)
  ("(var2 stable)" 228 346)
 )
)
(89
 (
  ("(var3 stable)" 0 86)
  ("(var3 up)" 86 119)
  ("(var3 stable)" 119 182)
  ("(var3 up)" 182 185)
  ("(var3 down)" 185 194)
  ("(var3 up)" 194 198)
  ("(var3 stable)" 198 323)
  ("(var4 stable)" 0 83)
  ("(var4 up)" 83 120)
  ("(var4 stable)" 120 323)
  ("(var1 stable)" 0 87)
  ("(var1 up)" 87 106)
  ("(var1 stable)" 106 323)
  ("(var2 stable)" 0 97)
  ("(var2 up)" 97 99)
  ("(var2 down)" 99 103)
  ("(var2 up)" 103 222)
  ("(var2 stable)" 222 321)
  ("(var2 down)" 321 323)
 )
)
(90
 (
  ("(var3 stable)" 0 49)
  ("(var3 up)" 49 84)
  ("(var3 down)" 84 86)
  ("(var3 up)" 86 88)
  ("(var3 stable)" 88 155)
  ("(var3 up)" 155 159)
  ("(var3 stable)" 159 161)
  ("(var3 down)" 161 169)
  ("(var3 up)" 169 172)
  ("(var3 stable)" 172 295)
  ("(var4 stable)" 0 51)
  ("(var4 up)" 51 87)
  ("(var4 stable)" 87 295)
  ("(var1 stable)" 0 53)
  ("(var1 up)" 53 77)
  ("(var1 stable)" 77 295)
  ("(var2 stable)" 0 66)
  ("(var2 up)" 66 68)
  ("(var2 down)" 68 73)
  ("(var2 stable)" 73 113)
  ("(var2 up)" 113 198)
  ("(var2 stable)" 198 295)
 )
)
(91
 (
  ("(var3 stable)" 0 63)
  ("(var3 up)" 63 65)
  ("(var3 stable)" 65 67)
  ("(var3 up)" 67 92)
  ("(var3 stable)" 92 172)
  ("(var3 up)" 172 178)
  ("(var3 down)" 178 189)
  ("(var3 up)" 189 192)
  ("(var3 stable)" 192 327)
  ("(var4 stable)" 0 64)
  ("(var4 up)" 64 88)
  ("(var4 stable)" 88 90)
  ("(var4 up)" 90 92)
  ("(var4 stable)" 92 327)
  ("(var1 stable)" 0 57)
  ("(var1 up)" 57 88)
  ("(var1 stable)" 88 327)
  ("(var2 stable)" 0 77)
  ("(var2 up)" 77 79)
  ("(var2 down)" 79 84)
  ("(var2 up)" 84 212)
  ("(var2 stable)" 212 327)
 )
)
(92
 (
  ("(var3 stable)" 0 45)
  ("(var3 up)" 45 48)
  ("(var3 down)" 48 50)
  ("(var3 up)" 50 77)
  ("(var3 stable)" 77 79)
  ("(var3 up)" 79 81)
  ("(var3 stable)" 81 162)
  ("(var3 up)" 162 166)
  ("(var3 down)" 166 175)
  ("(var3 up)" 175 181)
  ("(var3 stable)" 181 315)
  ("(var4 stable)" 0 51)
  ("(var4 down)" 51 53)
  ("(var4 up)" 53 79)
  ("(var4 stable)" 79 313)
  ("(var4 down)" 313 315)
  ("(var1 stable)" 0 49)
  ("(var1 up)" 49 75)
  ("(var1 stable)" 75 315)
  ("(var2 stable)" 0 64)
  ("(var2 up)" 64 66)
  ("(var2 down)" 66 71)
  ("(var2 stable)" 71 115)
  ("(var2 up)" 115 165)
  ("(var2 stable)" 165 171)
  ("(var2 up)" 171 174)
  ("(var2 down)" 174 177)
  ("(var2 up)" 177 200)
  ("(var2 stable)" 200 315)
 )
)
(93
 (
  ("(var3 stable)" 0 97)
  ("(var3 up)" 97 137)
  ("(var3 stable)" 137 213)
  ("(var3 up)" 213 218)
  ("(var3 down)" 218 227)
  ("(var3 up)" 227 232)
  ("(var3 stable)" 232 369)
  ("(var4 stable)" 0 98)
  ("(var4 up)" 98 131)
  ("(var4 stable)" 131 369)
  ("(var1 stable)" 0 98)
  ("(var1 up)" 98 125)
  ("(var1 stable)" 125 369)
  ("(var2 stable)" 0 113)
  ("(var2 up)" 113 117)
  ("(var2 down)" 117 120)
  ("(var2 up)" 120 273)
  ("(var2 stable)" 273 369)
 )
)
(94
 (
  ("(var3 stable)" 0 84)
  ("(var3 up)" 84 119)
  ("(var3 stable)" 119 199)
  ("(var3 up)" 199 206)
  ("(var3 down)" 206 216)
  ("(var3 up)" 216 220)
  ("(var3 stable)" 220 356)
  ("(var4 stable)" 0 82)
  ("(var4 up)" 82 118)
  ("(var4 stable)" 118 356)
  ("(var1 stable)" 0 87)
  ("(var1 up)" 87 114)
  ("(var1 stable)" 114 356)
  ("(var2 stable)" 0 101)
  ("(var2 up)" 101 103)
  ("(var2 down)" 103 108)
  ("(var2 up)" 108 237)
  ("(var2 down)" 237 241)
  ("(var2 up)" 241 243)
  ("(var2 stable)" 243 356)
 )
)
(95
 (
  ("(var3 stable)" 0 66)
  ("(var3 up)" 66 95)
  ("(var3 stable)" 95 162)
  ("(var3 up)" 162 165)
  ("(var3 down)" 165 174)
  ("(var3 up)" 174 182)
  ("(var3 stable)" 182 311)
  ("(var4 stable)" 0 67)
  ("(var4 up)" 67 93)
  ("(var4 stable)" 93 311)
  ("(var1 stable)" 0 67)
  ("(var1 up)" 67 92)
  ("(var1 stable)" 92 311)
  ("(var2 stable)" 0 80)
  ("(var2 up)" 80 82)
  ("(var2 down)" 82 87)
  ("(var2 up)" 87 172)
  ("(var2 down)" 172 174)
  ("(var2 up)" 174 213)
  ("(var2 stable)" 213 311)
 )
)
(96
 (
  ("(var3 stable)" 0 54)
  ("(var3 up)" 54 89)
  ("(var3 stable)" 89 174)
  ("(var3 up)" 174 177)
  ("(var3 down)" 177 187)
  ("(var3 up)" 187 190)
  ("(var3 stable)" 190 335)
  ("(var4 stable)" 0 52)
  ("(var4 up)" 52 82)
  ("(var4 stable)" 82 335)
  ("(var1 stable)" 0 55)
  ("(var1 up)" 55 85)
  ("(var1 down)" 85 87)
  ("(var1 stable)" 87 335)
  ("(var2 stable)" 0 68)
  ("(var2 up)" 68 70)
  ("(var2 down)" 70 75)
  ("(var2 stable)" 75 123)
  ("(var2 up)" 123 126)
  ("(var2 stable)" 126 129)
  ("(var2 up)" 129 131)
  ("(var2 stable)" 131 136)
  ("(var2 up)" 136 162)
  ("(var2 down)" 162 164)
  ("(var2 up)" 164 185)
  ("(var2 down)" 185 187)
  ("(var2 up)" 187 217)
  ("(var2 stable)" 217 335)
 )
)
(97
 (
  ("(var3 stable)" 0 35)
  ("(var3 up)" 35 64)
  ("(var3 stable)" 64 148)
  ("(var3 up)" 148 153)
  ("(var3 down)" 153 162)
  ("(var3 up)" 162 167)
  ("(var3 stable)" 167 303)
  ("(var4 stable)" 0 39)
  ("(var4 up)" 39 69)
  ("(var4 stable)" 69 303)
  ("(var1 stable)" 0 35)
  ("(var1 up)" 35 38)
  ("(var1 down)" 38 40)
  ("(var1 up)" 40 65)
  ("(var1 stable)" 65 303)
  ("(var2 stable)" 0 51)
  ("(var2 up)" 51 53)
  ("(var2 down)" 53 58)
  ("(var2 up)" 58 193)
  ("(var2 stable)" 193 303)
 )
)
(98
 (
  ("(var3 stable)" 0 70)
  ("(var3 up)" 70 105)
  ("(var3 stable)" 105 178)
  ("(var3 up)" 178 183)
  ("(var3 down)" 183 194)
  ("(var3 up)" 194 197)
  ("(var3 stable)" 197 330)
  ("(var4 stable)" 0 72)
  ("(var4 up)" 72 100)
  ("(var4 stable)" 100 330)
  ("(var1 stable)" 0 70)
  ("(var1 up)" 70 97)
  ("(var1 down)" 97 99)
  ("(var1 stable)" 99 330)
  ("(var2 stable)" 0 85)
  ("(var2 up)" 85 87)
  ("(var2 down)" 87 92)
  ("(var2 up)" 92 218)
  ("(var2 stable)" 218 330)
 )
)
(99
 (
  ("(var3 stable)" 0 94)
  ("(var3 up)" 94 130)
  ("(var3 stable)" 130 205)
  ("(var3 up)" 205 211)
  ("(var3 down)" 211 220)
  ("(var3 up)" 220 227)
  ("(var3 stable)" 227 363)
  ("(var4 stable)" 0 94)
  ("(var4 up)" 94 125)
  ("(var4 stable)" 125 363)
  ("(var1 stable)" 0 95)
  ("(var1 down)" 95 98)
  ("(var1 up)" 98 130)
  ("(var1 stable)" 130 363)
  ("(var2 stable)" 0 108)
  ("(var2 up)" 108 110)
  ("(var2 down)" 110 115)
  ("(var2 up)" 115 254)
  ("(var2 stable)" 254 363)
 )
)
(100
 (
  ("(var3 stable)" 0 53)
  ("(var3 up)" 53 85)
  ("(var3 stable)" 85 178)
  ("(var3 up)" 178 185)
  ("(var3 down)" 185 194)
  ("(var3 up)" 194 199)
  ("(var3 stable)" 199 341)
  ("(var4 stable)" 0 53)
  ("(var4 up)" 53 80)
  ("(var4 stable)" 80 341)
  ("(var1 stable)" 0 56)
  ("(var1 up)" 56 86)
  ("(var1 stable)" 86 341)
  ("(var2 stable)" 0 69)
  ("(var2 up)" 69 71)
  ("(var2 down)" 71 76)
  ("(var2 stable)" 76 125)
  ("(var2 up)" 125 211)
  ("(var2 stable)" 211 341)
 )
)
